A Tool for the Synthesis of Asynchronous Speed-Independent Circuits
نویسندگان
چکیده
The present work is devoted to the development of software tool written in Java for synthesis of asynchronous speed-independent circuits. A special type of Petri nets Signal Transition Graph, was used for the synthesis. Using the algorithm based on the theory of regions, a logic function is derived from this graph. In order to reduce the complexity of the resulting asynchronous circuit the number of gates should be minimized by optimization of logical function with a Quine-McCluskey algorithm.
منابع مشابه
Petrify: a Tool for Manipulating Concurrent Speciications and Synthesis of Asynchronous Controllers
Petrify is a tool for (1) manipulating concurrent speciications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition System (TS) 1 it (1) generates another PN or STG which is simpler than the original description and (2) produces an optimized net-list of an asynchronous controller in the target gate library...
متن کاملModeling and Design of Asynchronous Circuits - Proceedings of the IEEE
1) Signal transitions provide a key to understanding the switching behavior of asynchronous logic. 2) Burst-mode circuits and speed-independent control circuits offer reliable operation that is free from glitches. 3) Various notations are available for specification of control circuitry and as a starting point for logic synthesis. 4) Bundled data and delay-insensitive coding schemes are suitabl...
متن کاملSynthesis of Hazard Free Asynchronous Circuits from Signal Transition Graphs
Asynchronous systems can be modelled as concurrent systems in which events are in terepreted as signal transitions The synthesis of concurrent systems implies the analysis of a vast state space that often requires computationally expensive methods The circuits are speci ed by free choice signal transition graphs STG s a subclass of interpreted Petri nets This report analyses and compares the va...
متن کاملA Uniform Approach to the Synthesis of Synchronous and Asynchronous Circuits
In this paper we illustrate the application of a synthesis procedure used for timed asynchronous circuits to the design of synchronous circuits. In addition to providing a uniform synthesis approach, our procedure results in circuits that are significantly smaller and faster than those designed using the synchronous design tool SIS. .
متن کاملCoupling Technology Mapping, Logic Optimization and State Encoding for Speed-independent Circuits
This paper is aimed at eeciently solving the technology mapping problem for speed-independent circuits. We do not rely on unbounded fanin libraries, nor on user \hints" about how to decompose a circuit into realistic gates. We formulate the implementation problem in the same framework as state encoding for asynchronous circuits. Hence we perform logic minimization and technology mapping while d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010